StandardDS $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$\lambda$$a$.if $a$=$_{2}$2$\rightarrow$ IdLnk else Id fi$,\,$$\lambda$$a$.if $a$=$_{2}$2$\rightarrow$ IdLnkDeq else IdDeq fi$\rangle$